SO/SpSO/Sp Chern-Simons Gauge Theories At Large NN, SO/SpSO/Sp Penner Models And The Gauge Group Volumes

We construct a deformed $SO/Sp$ Penner generating function responsible for the close connection between $SO/Sp$ Chern-Simons gauge theories at large $N$ and the $SO/Sp$ Penner models. This construction is then shown to follow from a sector of a Chern-Simons gauge theory with coupling constant $\lambda$. The free energy and its continuum limit of the perturbative Chern-Simons gauge theory are obtained from the Penner model. Finally, asymptotic expansions for the logarithm of the gauge group volumes are given for every genus $g\geq 0$ and shown to be equivalent to the continuum limits of the $SO/Sp$ Chern-Simons gauge theories and the $SO/Sp$ Penner modelsComment: 19 pages; Progress of Theoretical Physics, Vol. 127, No. 2, February 201

Achieving network resiliency using sound theoretical and practical methods

Computer networks have revolutionized the life of every citizen in our modern intercon- nected society. The impact of networked systems spans every aspect of our lives, from financial transactions to healthcare and critical services, making these systems an attractive target for malicious entities that aim to make financial or political profit. Specifically, the past decade has witnessed an astounding increase in the number and complexity of sophisti- cated and targeted attacks, known as advanced persistent threats (APT). Those attacks led to a paradigm shift in the security and reliability communities’ perspective on system design; researchers and government agencies accepted the inevitability of incidents and malicious attacks, and marshaled their efforts into the design of resilient systems. Rather than focusing solely on preventing failures and attacks, resilient systems are able to maintain an acceptable level of operation in the presence of such incidents, and then recover gracefully into normal operation. Alongside prevention, resilient system design focuses on incident detection as well as timely response. Unfortunately, the resiliency efforts of research and industry experts have been hindered by an apparent schism between theory and practice, which allows attackers to maintain the upper hand advantage. This lack of compatibility between the theory and practice of system design is attributed to the following challenges. First, theoreticians often make impractical and unjustifiable assumptions that allow for mathematical tractability while sacrificing accuracy. Second, the security and reliability communities often lack clear definitions of success criteria when comparing different system models and designs. Third, system designers often make implicit or unstated assumptions to favor practicality and ease of design. Finally, resilient systems are tested in private and isolated environments where validation and reproducibility of the results are not publicly accessible. In this thesis, we set about showing that the proper synergy between theoretical anal- ysis and practical design can enhance the resiliency of networked systems. We illustrate the benefits of this synergy by presenting resiliency approaches that target the inter- and intra-networking levels. At the inter-networking level, we present CPuzzle as a means to protect the transport control protocol (TCP) connection establishment channel from state- exhaustion distributed denial of service attacks (DDoS). CPuzzle leverages client puzzles to limit the rate at which misbehaving users can establish TCP connections. We modeled the problem of determining the puzzle difficulty as a Stackleberg game and solve for the equilibrium strategy that balances the users’ utilizes against CPuzzle’s resilience capabilities. Furthermore, to handle volumetric DDoS attacks, we extend CPuzzle and implement Midgard, a cooperative approach that involves end-users in the process of tolerating and neutralizing DDoS attacks. Midgard is a middlebox that resides at the edge of an Internet service provider’s network and uses client puzzles at the IP level to allocate bandwidth to its users. At the intra-networking level, we present sShield, a game-theoretic network response engine that manipulates a network’s connectivity in response to an attacker who is moving laterally to compromise a high-value asset. To implement such decision making algorithms, we leverage the recent advances in software-defined networking (SDN) to collect logs and security alerts about the network and implement response actions. However, the programma- bility offered by SDN comes with an increased chance for design-time bugs that can have drastic consequences on the reliability and security of a networked system. We therefore introduce BiFrost, an open-source tool that aims to verify safety and security proper- ties about data-plane programs. BiFrost translates data-plane programs into functionally equivalent sequential circuits, and then uses well-established hardware reduction, abstrac- tion, and verification techniques to establish correctness proofs about data-plane programs. By focusing on those four key efforts, CPuzzle, Midgard, sShield, and BiFrost, we believe that this work illustrates the benefits that the synergy between theory and practice can bring into the world of resilient system design. This thesis is an attempt to pave the way for further cooperation and coordination between theoreticians and practitioners, in the hope of designing resilient networked systems

The Noncommutative Quadratic Stark Effect For The H-Atom

Using both the second order correction of perturbation theory and the exact computation due to Dalgarno-Lewis, we compute the second order noncommutative Stark effect,i.e., shifts in the ground state energy of the hydrogen atom in the noncommutative space in an external electric field. As a side result we also obtain a sum rule for the mean oscillator strength. The energy shift at the lowest order is quadratic in both the electric field and the noncommutative parameter $\theta$. As a result of noncommutative effects the total polarizability of the ground state is no longer diagonal.Comment: 7 pages, no figure

ECaD: Energy‐efficient routing in flying ad hoc networks

Much progress can be expected in the domain of unmanned aerial vehicle (UAV) communication by the next decade. The cooperation between multiple UAVs in the air exchanging data among themselves can naturally form a flying ad hoc network (FANET). Such networks can be the key support to accomplish several kinds of missions while providing the required assistance to terrestrial networks. However, they are confronted with many challenges and difficulties, which are due to the high mobility of UAVs, the frequent packet losses, and the weak links between UAVs, all affecting the reliability of the data delivery. Furthermore, the unbalanced energy consumption may result in earlier UAV failure and consequently accelerate the decrease of the network lifetime, thus disrupting the overall network. This paper supports the use of the movement information and the residual energy level of each UAV to guarantee a high level of communication stability while predicting a sudden link breakage prior to its occurrence. A robust route discovery process is used to explore routing paths where the balanced energy consumption, the link breakage prediction, and the connectivity degree of the discovered paths are all considered. The performance of the scheme is evaluated through a series of simulations. The outcomes demonstrate the benefits of the proposed scheme in terms of increasing the lifetime of the network, minimizing the number of path failures, and decreasing the packet losses.Much progress can be expected in the domain of unmanned aerial vehicle (UAV) communication by the next decade. The cooperation between multiple UAVs in the air exchanging data among themselves can naturally form a flying ad hoc network (FANET). Such networks can be the key support to accomplish several kinds of missions while providing the required assistance to terrestrial networks. However, they are confronted with many challenges and difficulties, which are due to the high mobility of UAVs, the frequent packet losses, and the weak links between UAVs, all affecting the reliability of the data delivery. Furthermore, the unbalanced energy consumption may result in earlier UAV failure and consequently accelerate the decrease of the network lifetime, thus disrupting the overall network. This paper supports the use of the movement information and the residual energy level of each UAV to guarantee a high level of communication stability while predicting a sudden link breakage prior to its occurrence. A robust route discovery process is used to explore routing paths where the balanced energy consumption, the link breakage prediction, and the connectivity degree of the discovered paths are all considered. The performance of the scheme is evaluated through a series of simulations. The outcomes demonstrate the benefits of the proposed scheme in terms of increasing the lifetime of the network, minimizing the number of path failures, and decreasing the packet losses

Modelling and optimizing surface roughness and MRR in electropolishing of AISI 4340 low alloy steel in eco-friendly NaCl based electrolyte using RSM

Electropolishing (EP) is a reliable post-processing method of the drilled metals for achieving a high-quality surface finish with an appropriate material removal rate. This process has many applications due to its advantages such as improving the surface quality by removing the surface peaks on a micro-scale. The aim of most attempts on this process is setting up the optimum parameters to obtain maximum Material Removal Rate (MRR) with minimum surface roughness. In the present wo k, electropolishing of AISI 4340 low alloy steel immersed in eco-friendly NaCl solution has been studied numerically and experimentally. So, primarily a simulation model was developed for the EP process on cylinder parts in COMSOL Multiphysics which was validated with experimental approaches. The results revealed that the numerical model would be convenient for EP. The experiments were performed using Response Surface Methodology (RSM) to evaluate the effect of input variables on the responses. The effects of input variables electrolyte temperature, current intensity, and primary gap were investigated on the outputs MRR and surface roughness at five levels. Based on the results, the electrolyte temperature and current intensity were more effective parameters on the outputs. Results of ANOVA and regression analysis approach revealed that by increasing the current and electrolyte temperature, the MRR increases correspondingly and surface roughness declines and the primary gap has a reverse effect on the MRR. Finally, by performing a multi-objective optimization using Derringer’s desirability approach, the EP of AISI 4340 with an eco-friendly NaCl solution was optimized

Experimental Investigation of Impulse Characteristics of Transmission Line Tower Footings

Understanding the impulse response of tower grounding systems is a key factor in the determination of the lightning performance of transmission lines and the safety voltages near high voltage towers. This paper reports the results of an experimental study on the impulse characteristics of full-scale transmission line tower footings. The ground potential distribution both at the ground surface and below ground was examined under impulse currents and variable-frequency AC currents. Prospective impulse step and touch voltages were determined by measurement of the ground surface potential distribution near the tower base. The behaviour of the impulse resistance of the tower footings under highmagnitude impulse currents was investigated. The non-linear characteristics of the impulse resistance with peak current are demonstrated for the entire tower base and for single tower footings. The soil ionisation inception is found to be dependent on the rate of rise of applied current. The dynamic impulse resistance was used to describe the dynamics of soil ionisation